Enhancing the Performance and Dependability of Real-time Systems
نویسندگان
چکیده
The imprecise-computation technique was proposed as a way to handle transient overloads and enhance the dependability of real-time systems. In a system based on this technique, each time-critical task produces an approximate but usable result whenever a failure or overload prevents the system from producing a precise result. This approach makes meeting deadlines easier, increases the availability of data and services, reduces the need for error-recovery operations, and minimizes the costs in replication. In this paper, we provide an overview of ways to implement and schedule imprecise computations. We then describe the Imprecise Computation Server (ICS) and how it is used to ensure real-time performance of time-critical applications.
منابع مشابه
Integrating Dependability Analysis into the Real-time System Design Process
In this research, we are developing a design framework for integrating dependability analysis into the distributed, heterogeneous, fault-tolerant real-time system design process. We focus on two dependability attributes: reliability and availability. We are implementing this framework on top of existing systems for the design of distributed, real-time systems such as TimeWiz (Ref. 4). This will...
متن کاملEnhancing UML by Safety-Related Constructs
To enable the description of safety-related software, the Unified Modeling Language is provided with well proven constructs as found, e.g., in corresponding subsets of the real-time programming language PEARL and in Function Block Diagrams according to IEC 61131-3. These constructs are ordered in nested sets to fulfill the respective requirements of the four Safety Integrity Levels of IEC 61508...
متن کاملDependability analysis of DES based on MARTE and UML state machines models
UML (Unified Modeling Language) is a standard design notation which offers the state machines diagram to specify reactive software systems. The “Modeling and Analysis of Real-Time and Embedded systems” profile (MARTE) enables UML with capabilities for performance analysis. MARTE has been specialized in a “Dependability Analysis and Modeling” profile (DAM), then providing UML with dependability ...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995